A Real-Time and Distributed System with Programming Language Abstraction

نویسندگان

  • Erhan Saridogan
  • Nadia Erdogan
چکیده

As processing and time requirements of computer systems increase over borders of single processor architectures, it is becoming more and more attractive to use distributed computing with additional real-time capabilities. In several cases, traditional programming languages have become insufficient to build distributed systems easily, especially when real-time issues and basic software quality factors such as reliability, correctness, robustness, ease of design, development, testing and maintenance are concerned. In this paper basic issues relevant to distributed systems are reviewed, a concurrent, object-oriented, real-time and distributed programming language, CORD-PL, with its supportive run-time system is introduced and its features are described. The new system provides an efficient solution for especially command and control systems by embedding distribution and real-time issues within the programming language structures.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Interface Between Distributed Operating System and High-Level Programming Language

A distributed operating system provides a process abstraction and primitives for communication between processes. A distributed programming language regularizes the use of the primitives, making them both safer and more convenient. The level of abstraction of the primitives, and therefore the division of labor between the operating system and the language support routines, has serious ramificat...

متن کامل

ViPER – A Component-Based Approach for Designing Real-Time Systems

In this paper, we present a component-based approach for the development of distributed safetycritical real-time systems. The ViPER method is based on the synchronous approach for designing reactive systems and a time-triggered communication architecture. Synchronous software components consisting of a reactive and a transformational part are used to specify the behavior of the system. The reac...

متن کامل

A mechanized verification environment for real-time process algebras and low-level programming languages

Nowadays, embedded and reactive real-time systems are often also distributed and operate in dynamically changing environments. Furthermore, these systems handle safety-critical tasks and therefore have to satisfy critical functional and non-functional requirements like, for example, real-time requirements. During development, such systems are often modeled on different levels of abstraction usi...

متن کامل

TIlE INTERFACE BETWEEN DISTRIBUTED OPERATING SYSTEM AND HIGH-LEVEL PROGRAMMING LANGUAGE

A distributed operating system provides a process abstraction and primitives for communication between processes. A distributed programming language regularizes the use of the primitives. mating them bolh safer and more convenienL The level of abstraction of the primitives, and therefore the dh"ision of labor between the operating system and the language suppnn routines. has serious ramificatio...

متن کامل

Modeling and simulation of timing behavior with the Timing Definition Language ( TDL )

Most of the existing modeling methods and tools for embedded application development use levels of abstraction where execution and communication times of computational tasks are not adequately captured. Thus, properties such as time and value determinism, which are crucial for safety-critical real-time systems, cannot be guaranteed when refining the model to move it closer to a target platform....

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999